SIRS forced
id_total, 10.616364422
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.012642143
id_inclusion_check_mod_p, 0.006821147
id_groebner_time, 0.039240526
id_beautifulization, 0.40044504999999997
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 88.0
